// ==++==
// 
//   Copyright (c) Microsoft Corporation.  All rights reserved.
// 
// ==--==
using System;
using System.Collections.Generic;
using System.Text;

namespace DySy.Engine
{
    internal interface IDySyOptions
    {
        /// <summary>
        /// up to which stack depth to track conditions
        /// </summary>
        int MaxStackDepth { get; }

        /// <summary>
        /// whether a compact (but potentially less readable) presentation of the 
        /// inferred conditions should be shown
        /// </summary>
        bool Compact { get; }

        /// <summary>
        /// whether to infer properties of array elements
        /// </summary>
        bool Arrays { get; }
    }
}
